acyclic model theorem

[数] 零调模型定理